The Architecture of a Disjunctive Deductive Database System
نویسندگان
چکیده
Disjunctive Deductive Databases (DDDBs) | function-free disjunctive logic programs with negation in rule bodies allowed | have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a thorough investigation thereof is a basic requirement for building systems which render previous foundational work on DDDBs useful for practice. This paper presents the architecture of a DDDB system currently developed at TU Vienna in the FWF project P11580-MAT \A Query System for Disjunctive Deductive Databases".
منابع مشابه
Disjunctive Deductive Databases : Semantics , Updates , and Architecture ?
The basic assumption in relational and deductive databases is that there are no gaps in our knowledge. That is, the database cannot store data that contain null values or data that is indeenite. In practical situations knowledge is not precise, and there are gaps in our knowledge. These gaps may be due to null values in the data, may arise when we combine several databases that lead to inconsis...
متن کاملAn Architecture for a Parallel Disjunctive Deductive Database System
Parallel database systems are designed to handle data-intensive and logic-intensive queries. Disjunctive deductive databases (DDDB){logic databases which allow for indeenite, or partial information{must handle such queries at the extreme. Therefore, a parallel architecture would be ideal for implementing a DDDB. This paper presents a brief description of a non-parallel DDDB, a prototype of whic...
متن کاملDISLOG – A Disjunctive Deductive Database Prototype
DISLOG is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all–result inference capabilities. Several basic operators are provided for logical and non–monotonic reasoning: The logical consequence operator derives all logically implie...
متن کاملProgress Report on the Disjunctive Deductive Database System dlv
dlv is a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. The system has been developed since the end of 1996 at Technische Universität Wien in an ongoing project funded by the Austrian Science Funds (FWF). Recent comparisons have shown that dlv is nowadays a state-of-the-art implementation of disjunctive logic program...
متن کاملDisLog { A System for Reasoning in Disjunctive Deductive Databases
DisLog is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all{result inference capabilities. Several basic operators are provided for logical and non{monotonic reasoning: The logical consequence operator derives all logically implie...
متن کامل